221. Cell Formation in Industrial Engineerin
پدیدآورنده: / by Boris Goldengorin, Dmitry Krushinsky, Panos M. Pardalos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Electronic books
رده :
E-BOOK
222. Cellular Automata and Discrete Complex Systems
پدیدآورنده: \ [Edited by] Teijiro Isokawa...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
267
.
5
.
C45
2015
E-Book
,
223. Cellular Automata and Discrete Complex Systems
پدیدآورنده: \ Jarkko Kari (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
267
.
5
.
C45
2015
E-Book
,
224. Cellular automata and discrete complex systems :
پدیدآورنده: Alonso Castillo-Ramirez, Pedro P.B. de Oliveira (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.
رده :
QA267
.
5
.
C45
225. Cellular automata and discrete complex systems :
پدیدآورنده: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
رده :
QA267
.
5
.
C45
226. Certified Programs and Proofs :
پدیدآورنده: edited by Chris Hawblitzel, Dale Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
227. Certified programs and proofs :
پدیدآورنده: Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
228. Classification Theory of Algebraic Varieties and Compact Complex Spaces
پدیدآورنده: by K. Ueno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Science, general.,Computer science.,Mathematics.
رده :
QA3
.
B958
1975
229. Coalgebraic methods in computer science :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
230. Coalgebraic methods in computer science
پدیدآورنده: Dirk Pattinson, Lutz Schröder (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
W67
2012eb
231. Coalgebraic methods in computer science :
پدیدآورنده: Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
232. Coding the matrix :
پدیدآورنده: Philip N. Klein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Álgebra lineal.,Algebras, Linear.,Computer science -- Mathematics.
رده :
QA184
.
2
P455
9999
233. Collegium Logicum.
پدیدآورنده: Kurt Gödel Society.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Mathematics.
234. Combinatorial Algorithms
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Data structures (Computer science). ; Application software. ; Computer communication systems. ; Computer graphics. ; Algorithms. ; Discrete Mathematics in Computer Science. ; -Computer science
235. Combinatorial Optimization II
پدیدآورنده: edited by V.J. Rayward-Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Mathematical optimization.,Mathematics.
رده :
QA264
.
A1
E358
1980
236. Combinatorial Optimization and Applications
پدیدآورنده: \ [edited by] Zaixin Lu...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Combinatorial optimization -- Congresses.,Computer science -- Mathematics -- Congresses.,بهینه‌سازی ترکیبی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
164
.
C6
2015
E-Book
,
237. Combinatorial and Additive Number Theory III
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Computer mathematics. ; Combinatorics. ; -Combinatorics. ; Number theory. ; Computer science
238. Combinatorial maps :
پدیدآورنده: Guillaume Damiand, Pascal Lienhardt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial designs and configurations,Computer graphics-- Mathematics,Data structures (Compter science),Image processing-- Mathematics
رده :
QA76
.
9
.
D35
D35
2014
239. Combinatorial optimization and applications
پدیدآورنده: Guohui Lin (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial optimization, Congresses,Computer science-- Mathematics, Congresses
رده :
QA402
.
5
.
C63
2012eb
240. Combinatorial optimization and applications :
پدیدآورنده: Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
رده :
QA402
.
5
.
C5423
2017
